~function(){
    let ws=new WebSocket("ws://127.0.0.1:19090")
    ws.onopen=function(){

    }
    ws.onmessage=function(e){
        if(e.data=="refresh"){
            location.reload()
        }
    }
    ws.onclose=function(){
        setInterval(()=>{
            fetch("index.html")
                .then(r=>r.text())
                .then(r=>{
                    location.reload()
                })
                .catch(e=>{

                })
        },1000)
    }

}();

